From 9951f9f9ae008793f9a1dadd0dcc97e882f9a757 Mon Sep 17 00:00:00 2001
From: Platonides <platonides@gmail.com>
Date: Fri, 23 Mar 2012 17:19:02 +0100
Subject: [PATCH] trunk/phase3 is now mediawiki/core

Change-Id: Ief2721ee6573a5e54a276c91de636d9e1a678b8b
---
 img_auth.php        | 2 +-
 mw-config/index.php | 2 +-
 profileinfo.php     | 2 +-
 thumb.php           | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/img_auth.php b/img_auth.php
index 3999bf3e80..82afef27bc 100644
--- a/img_auth.php
+++ b/img_auth.php
@@ -28,7 +28,7 @@
 
 define( 'MW_NO_OUTPUT_COMPRESSION', 1 );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require ( 'phase3/includes/WebStart.php' );
+	require ( 'core/includes/WebStart.php' );
 } else {
 	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }
diff --git a/mw-config/index.php b/mw-config/index.php
index c65be69c0c..edfae92828 100644
--- a/mw-config/index.php
+++ b/mw-config/index.php
@@ -10,7 +10,7 @@ define( 'MEDIAWIKI_INSTALL', true );
 
 chdir( dirname( dirname( __FILE__ ) ) );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require ( 'phase3/includes/WebStart.php' );
+	require ( 'core/includes/WebStart.php' );
 } else {
 	require( dirname( dirname( __FILE__ ) ) . '/includes/WebStart.php' );
 }
diff --git a/profileinfo.php b/profileinfo.php
index 03a6f0f069..ef038c1153 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -29,7 +29,7 @@ ini_set( 'zlib.output_compression', 'off' );
 
 $wgEnableProfileInfo = $wgProfileToDatabase = false;
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require ( 'phase3/includes/WebStart.php' );
+	require ( 'core/includes/WebStart.php' );
 } else {
 	require ( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }
diff --git a/thumb.php b/thumb.php
index eb0d67df19..6afc7e5044 100644
--- a/thumb.php
+++ b/thumb.php
@@ -8,7 +8,7 @@
  */
 define( 'MW_NO_OUTPUT_COMPRESSION', 1 );
 if ( isset( $_SERVER['MW_COMPILED'] ) ) {
-	require( 'phase3/includes/WebStart.php' );
+	require( 'core/includes/WebStart.php' );
 } else {
 	require( dirname( __FILE__ ) . '/includes/WebStart.php' );
 }
-- 
2.20.1